Search‐based crash reproduction using behavioural model seeding
نویسندگان
چکیده
منابع مشابه
Priority Order for Improvement of Intersections using Pedestrian Crash Prediction Model
One of the most important needs of pedestrians is safety at crossing points, especially at intersections. Intersections are important parts of the urban road network because any disruption in them reduces the capacity of the entire network. The main objective of this research is to propose an appropriate method for prioritizing urban intersections with considering the important factors affectin...
متن کاملExamination of Crash Contributing Factors Using National Crash Databases
Administration, in the interest of information exchange. The opinions, findings and conclusions expressed in this publication are those of the author(s) and not necessarily those of the Department of Transportation or the National Highway Traffic Safety Administration. The United States Government assumes no liability for its contents or use thereof. If trade or manufacturer's name or products ...
متن کاملcost benefits of rehabilitation after acute coronary syndrome in iran; using an epidemiological model
چکیده ندارد.
A Behavioural Lambda Model
We build a lambda model which characterizes completely (persistently) normalizing, (persistently) head normalizing, and (persistently) weak head normalizing terms. This is proved by using the finitary logical description of the model obtained by defining a suitable intersection type assignment system.
متن کاملAnalyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analysis tools, known as the SCR Toolset, but its availability is restricted by the Naval Research Laboratory of the USA. This toolset applies different kinds of analysis considering the whole set of behaviours associated ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Testing, Verification and Reliability
سال: 2020
ISSN: 0960-0833,1099-1689
DOI: 10.1002/stvr.1733